中英
1
typed lambda-calculus中文是什么意思
发音:
- 具型式之 λ 演算
- simply typed lambda calculus 简单类型 lambda 演算; 简单类型lambda演算
- typed lambda calculus 有类型 lambda 演算; 有类型lambda演算
- lambda calculus lambda可定义函数; Λ-递归函数; Λ演算; λ演算; 无类型 lambda 演算; 无类型lambda演算; 演算
- normalization property (lambda-calculus) 规范化性质
- typed 打字; 类型化的
- lambda n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕。 2.微升〔百万分之一升〕。 3.λ粒子( ＝ lambda particle)。
- calculus n. (pl. calculuses, -li ) 1.【医学】结石，石；积石；牙垢。 2.【数学】运算，演算；微积分(学)。 calculus of finite differences 【数学】差分演算(法)，差分学。 calculus of variation 变分法[学]。 differential [integral] calculus微[积]分(学)。 urinary calculus【医学】尿结石。
- strong-typed 强类型的
- strongly typed 强类型的; 强型别; 需要强化类型
- strongly-typed 强类型的
- typed behavior 性别行为的模仿
- typed by jandy 服装专业英语
- typed cloths 标准家用布
- typed dataset 类型化数据集; 强类型数据集
- typed literal 类型文字
- typed pointer 类型指标
- bacteriophage lambda λ噬菌体
- lambda (λ) 微升
- lambda angle λ角
- lambda bacteriophage λ噬菌体
- lambda binding λ约束
- lambda chain 轻链,λ链:免疫球蛋白轻链型式之一
- lambda computation λ计算
- lambda definition λ定义
- lambda electronics 拉姆达电子公司
- 推荐英语阅读
typed lambda-calculus的中文翻译，typed lambda-calculus是什么意思，怎么用汉语翻译typed lambda-calculus，typed lambda-calculus的中文意思，typed lambda-calculus的中文，typed lambda-calculus in Chinese，typed lambda-calculus的中文，typed lambda-calculus怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。
Last modified time:Sat, 16 Aug 2025 00:29:56 GMT
关于我们
